Tootfinder

This https://arxiv.org/abs/2402.07030 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
On March 8, 1995, was found the following \it nontrivial \rm single axiom-schema characteristic of Leśniewski-Ishimoto's propositional ontology $\bf L_1$ (Inoué \cite{inoue16}). $\qquad (\mbox{$\mathrm{A_{M8}}$)} \enspace εab \wedge εcd . \supset . εaa \wedge εcc \wedge (εbc \supset . εad \wedge εba).$ In this paper, we shall present the progress about the above axiom-schema from 1995 and conjectures about it. Here we shall give two criteria \it nontiriviality \rm and \it quasi-non…

"Van Vroonhoven reageert geschrokken ..."
Sorry hoor, maar als je hier van schrikt heb je de laatste jaren onder een steen gelegen. Kijk eens even goed om je heen.
Dat 'tuig van de richel' daar zitten jullie mee aan tafel, ja! Onmiddellijk stoppen!

Nontrivial single axiom-schemata and their quasi-nontriviality of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$
Takao Inou\'e, Tadayoshi Miwa
https://arxiv.org/abs/2402.07030

Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
On March 8, 1995, was found the following \it nontrivial \rm single axiom-schema characteristic of Leśniewski-Ishimoto's propositional ontology $\bf L_1$ (Inoué \cite{inoue16}). $\qquad (\mbox{$\mathrm{A_{M8}}$)} \enspace εab \wedge εcd . \supset . εaa \wedge εcc \wedge (εbc \supset . εad \wedge εba).$ In this paper, we shall present the progress about the above axiom-schema from 1995 and conjectures about it. Here we shall give two criteria \it nontiriviality \rm and \it quasi-non…

Here are the slides from my #knowledgegraphs lecture "Knowledge Graphs - Data, Information, Knowledge" from last week's Studium Generale "Vernetzte Kultur" at Philipps-Universität Marburg.
Slides: https://